Search Results
[CPP'23] Computing Cohomology Rings in Cubical Agda
Announcing the agda-unimath formalisation stream
[WITS'22] Using Dependent Types at Scale: Maintaining the Agda Standard Library
Agda Problem Session 1: Introduction to Agda, types & functions (Tom) -- HoTTEST Summer School 2022
Topological Quantum Programming in TED-K -- talk at PlanQC2022
![[CPP'23] Computing Cohomology Rings in Cubical Agda](https://img.youtube.com/vi/Rc3qDxyQNUM/hqdefault.jpg)
![[WITS'22] Using Dependent Types at Scale: Maintaining the Agda Standard Library](https://img.youtube.com/vi/cwkfIKzyCuE/hqdefault.jpg)
